/* should generate diagnostics */
